Genre transformation in Simone de Beauvoir’s work “Force of Circumstance”

Axiomatisations of Weak Equivalences for De Simone Languages

Aceto, Bloom and Vaandrager proposed in ABV92] a procedure for generating a complete axiomatisation of strong bisimulation for process languages in the GSOS format. However, the choice operator +, which the procedure uses, as well as other auxiliary GSOS operators, which it introduces to obtain a nite axiomatisation, do not preserve many of weak equivalences. We propose a modiication of this pr...

Determinations Dialinguistiques de Genre Litteraire

nous proposons d'examiner comparativement la chantefable franqaise Aucassin et Nicolette dans laquelle nous voyons une v~ritable composition dramatique oil <~ les indications qui accompagnent les r~pliques et les indications du mouvement qui les suivent sont analogues aux indications sc6niques de nos pi~ces de th&~tre)~ et le drame romanesque du porte Mihai Eminescu Mira, d'une longueur de text...

Board Simone

Consolidated Enterprise IT solutions have proven to enhance business efficiency when significant fractions of local computing activities are migrating away from desktop PCs and departmental servers and are being integrated and packaged on the Web into “the computing cloud.” Whether referred to Grid, Utility or Cloud Computing, the idea is basically the same: instead of investing in and maintain...

De la transformation de prédicats à la transformation de programmes

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...

Combinatoire bijective des cartes de genre supérieur